退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:顺序逻辑中的存在刚性和许多模态
Ken Kaneiwa;
机译:排序逻辑中的存在刚性和多种形式
机译:具有量化可及性关系的现有二阶逻辑和模态逻辑
机译:“我未来的儿子可能活着”。 Abelard模态逻辑中存在的预设和空项
机译:元本体的顺序排序量化模态逻辑
机译:关于模态逻辑的不完备性通过二阶逻辑的帐户。
机译:多模式磁共振弹性成像技术在体内对卵巢组织硬度的无创评估
机译:模态贡献的建筑构件弯曲刚度估算方法及安全性评估方法
机译:在模态逻辑证明模型中检查自然语言的方法和系统
机译:用于移动环境的基于环境演算的模态逻辑
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。